@String{MU = "Masarykova Universita"}
@String{FI:eng = "Faculty of Informatics"}
@String{MU:eng = "Masaryk University, Brno"}
@String{FIMU:eng = "Masaryk University, Brno, Faculty of Informatics"}
@String{FIMU:eng:advisor = "Masaryk University, Brno, Faculty of Informatics (advisor: Petr Sojka)"}
@String{FIMU:cz = "Masarykova univerzita, Brno, Fakulta informatiky"}
@String{FIMU:cz:advisor = "Masarykova univerzita, Brno, Fakulta informatiky (vedouc{\'i} pr\'ace Petr Sojka)"}
@String{pub-MU          = "{Masaryk University}"}
@String{pub-MU:adr      = "Brno, Czech Republic"}
@String{pub-MU:cz       = "{Masarykova univerzita}"}
@String{pub-MU:adr:cz   = "Brno, {\v C}R"}


@THESIS{Kucbel2011thesis,
  title={{Generov{\'a}n{\'i} textu z MathML}},
  author = {Maro{\v s} Kucbel},
  pages = 27,
  publisher = MU:eng,
  school = FI:eng,
  year = 2011,
  note = "{B}achelor Thesis, Masaryk University, Brno, Faculty of Informatics (advisor: Zuzana Nev{\v e}{\v r}ilov{\'a}), \url{http://is.muni.cz/th/324736/fi_b/?lang=en}",
}

@inproceedings{canonicalization:formaneketal,
title = {{Normalization of Digital Mathematics Library Content}},
author = {David Form{\'a}nek and Martin L{\'\i}{\v s}ka and Michal R{\r u}{\v z}i{\v c}ka and Petr Sojka},
pages = {91--103},
url = {http://ceur-ws.org/Vol-921/wip-05.pdf},
crossref = {OpenMathUIWiP2012},
}

@proceedings{OpenMathUIWiP2012,
booktitle = {24\textsuperscript{th} OpenMath Workshop, 7\textsuperscript{th} Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress},
title = {Joint Proceedings of the 24\textsuperscript{th} {OpenMath} Workshop, the 7\textsuperscript{th} Workshop on Mathematical User Interfaces ({MathUI}), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics},
year = 2012,
editor = {James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht},
number = 921,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-921/},
venue = {Bremen, Germany},
eventdate = {2012-07-09/2012-07-13},
}

@article{mrec:arXMLiv2010,
   author = {Stamerjohanns, Heinrich and Kohlhase, Michael and Ginev, Deyan and David, Catalin and Miller, Bruce},
   affiliation = {Jacobs University Department of Computer Science Bremen Germany},
   title = {{Transforming Large Collections of Scientific Publications to XML}},
   journal = {Mathematics in Computer Science},
   publisher = {Birkh{\"a}user Basel},
   issn = {1661-8270},
   keyword = {Mathematics},
   pages = {299--307},
   volume = 3,
   issue = 3,
   note= "\url{http://dx.doi.org/10.1007/s11786-010-0024-7}",
   doi = {10.1007/s11786-010-0024-7},
   year = 2010
}

@inproceedings{dml:Sylwestrzaketal2010, 
  title = "{EuDML---Towards the European Digital Mathematics Library}",
  author=    "Wojtek Sylwestrzak and Jos{\'e} Borbinha and Thierry Bouche
     and Aleksander Nowi{\'n}ski and Petr Sojka",
  year =     "2010",
  pages = "11--24", 
  isbn = {978-80-210-5242-0},
  publisher = pub-MU,
  month = Jul,
  crossref = dml:dml2010proceedings,
  note="\url{http://dml.cz/dmlcz/702569}"
}

@inproceedings{dml:Grimm2010, 
  title = "{Producing MathML with Tralics.}",
  author={Grimm, Jos{\'e}},
  year =     "2010",
  pages = "105--117", 
  isbn = {978-80-210-5242-0},
  publisher = pub-MU,
  month = Jul,
  crossref = {dml:dml2010proceedings},
  note="\url{http://dml.cz/dmlcz/702579}"
}

@proceedings{dml:dml2010proceedings,
  title = "{Towards a Digital Mathematics Library}",
  booktitle = "{Proceedings of DML 2010}",
  editor= "Petr Sojka",
  year = 2010,
  address = "Paris, France",
  publisher = pub-MU,
  month = Jul,
  isbn = {978-80-210-5242-0},
  note = "\url{http://www.fi.muni.cz/~sojka/dml-2010-program.html}",
}

@techreport{grimm:inria-00144566,
    hal_id = {inria-00144566},
    url = {http://hal.inria.fr/inria-00144566},
    title = {{Producing MathML with Tralics}},
    author = {Grimm, Jos{\'e}},
    keywords = {Tralics; XML; MathML; mathematics; LaTeX; HTML; Pdf},
    language = {English},
    affiliation = {APICS - INRIA Sophia Antipolis},
    pages = {88},
    type = {Research Report},
    institution = {INRIA},
    number = {RR-6181},
    note = {\url{http://hal.inria.fr/inria-00144566/en}},
    year = {2007},
}

@article{stamerjohanns2009mathml,
  title={{MathML-aware article conversion from LATEX}},
  author={Stamerjohanns, Heinrich and Ginev, Deyan and David, Catalin and Misev, Dimitar and Zamdzhiev, Vladimir and Kohlhase, Michael},
  journal={Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8-9th, 2009},
  pages={109--120},
  year={2009},
  publisher=pub-MU,
  note={\url{http://dml.cz/dmlcz/702561}}
}

@article{baker2011towards,
  title={T{owards reverse engineering of PDF documents}},
  author={Baker, Josef B and Sexton, Alan P and Sorge, Volker},
  journal={Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011},
  pages={65--75},
  year={2011},
  publisher=pub-MU,
  note={\url{http://dml.cz/dmlcz/702603}}
}

@article{tralics:grimm2003,
  title={{Tralics, a \LaTeX to XML Translator}},
  author={Grimm, Jos{\'e}},
  journal={TUGboat},
  volume={24},
  number={3},
  pages={377--388},
  year={2003}
}

@misc{1170.68491,
author="Pr{\uu}\v sa, Daniel and Hlav\'a\v c, V\'aclav",
title={{Mathematical Formulae Recognition}},
language="English",
howpublished="{Sojka, Petr (ed.), DML 2008. Towards digital mathematics library,
    Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University.
    69-73 (2008).}",
year="2008",
note={\url{http://dml.cz/dmlcz/702545}}
}

@incollection{baker2012maxtract,
  title={{MaxTract: Converting PDF to$\backslash$ mbox$\backslash$ LaTeX, MathML and Text}},
  author={Baker, Josef B and Sexton, Alan P and Sorge, Volker},
  booktitle={Intelligent Computer Mathematics},
  pages={422--426},
  year={2012},
  publisher={Springer}
}

@inproceedings{suzuki2003infty,
  title={{INFTY: an integrated OCR system for mathematical documents}},
  author={Suzuki, Masakazu and Tamari, Fumikazu and Fukuda, Ryoji and Uchida, Seiichi and Kanahori, Toshihiro},
  booktitle={Proceedings of the 2003 ACM symposium on Document engineering},
  pages={95--104},
  year={2003},
  organization={ACM}
}

@phdthesis{aster1994,
  title={{Audio System for Technical Readings}},
  author={Raman, TV},
  year={1994},
  school={Cornell University}
}

@article{mrec:mrec2011,
  title={{Web Interface and Collection for Mathematical Retrieval: WebMIaS and MREC}},
  author={L{\'\i}{\v{s}}ka, Martin and Sojka, Petr and R{\r{u}}{\v{z}}i{\v{c}}ka, Michal and Mravec, Petr},
  journal={Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011},
  pages={77--84},
  year={2011},
  publisher=pub-MU
}

@article{tex4ht:gurari2004,
  title={{TEX4ht: HTML Production}},
  author={Gurari, Eitan M},
  journal={TUG-boat},
  volume={25},
  number={1},
  pages={39--47},
  year={2004}
}

@article{latexml:miller2013,
  title={{LaTeXML: A \LaTeX to xml converter}},
  author={Miller, Bruce},
  journal={Web Manual at http://dlmf.nist.gov/LaTeXML/, seen April 2013},
  year={2013}
}

@phdthesis{mathtalk:stevens1996principles,
  title={Principles for the design of auditory interfaces to present complex information to blind people},
  author={Stevens, Robert David},
  year={1996},
  school={University of York}
}

@incollection{mathtalk:stevens1994mathtalk,
  title={{Mathtalk: The design of an interface for reading algebra using speech}},
  author={Stevens, Robert and Edwards, Alistair},
  booktitle={{Computers for Handicapped Persons}},
  pages={313--320},
  year={1994},
  publisher={Springer}
}

@incollection{lambda:schweikhardt2006lambda,
  title={{LAMBDA: A European system to access mathematics with Braille and audio synthesis}},
  author={Schweikhardt, Waltraud and Bernareggi, Cristian and Jessel, Nadine and Encelle, Benoit and Gut, Margarethe},
  booktitle={{Computers Helping People with Special Needs}},
  pages={1223--1230},
  year={2006},
  publisher={Springer}
}

@incollection{umcl:archambault2004towards,
  title={{Towards a universal maths conversion library}},
  author={Archambault, Dominique and Fitzpatrick, Donal and Gupta, Gopal and Karshmer, Arthur I and Miesenberger, Klaus and Pontelli, Enrico},
  booktitle={{Computers Helping People with Special Needs}},
  pages={664--669},
  year={2004},
  publisher={Springer}
}

@incollection{umcl:archambault2006canonical,
  title={{Canonical MathML to simplify conversion of MathML to Braille mathematical notations}},
  author={Archambault, Dominique and Mo{\c{c}}o, Victor},
  booktitle={{Computers Helping People with Special Needs}},
  pages={1191--1198},
  year={2006},
  publisher={Springer}
}

@phdthesis{umcl:jarmar2012conversion,
  title={{Conversion of Mathematical Documents into Braille}},
  author={Jarmar, Martin},
  year={2012},
  school={Master’s thesis, Faculty of Informatics (Jan 201 2), \url{https://is.muni.cz/th/172981/fi_m/?lang=en}}
}

@incollection{mias:sojka2011indexing,
  title={{Indexing and Searching Mathematics in Digital Libraries}},
  author={Sojka, Petr and L{\'\i}{\v{s}}ka, Martin},
  booktitle={Intelligent Computer Mathematics},
  pages={228--243},
  year={2011},
  publisher={Springer}
}

